Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
191	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
192	Algebras of minimal multiplicative complexity Markus Bl¨aser Department of Computer Science Saarland University Saarbr¨ucken, Germany Add to Reading List Source URL: www-cc.cs.uni-saarland.de Language: English - Date: 2014-01-17 05:03:15 Algebra Algebras Semisimple algebra Algebra over a field Associative algebra Bilinear form F-algebra Symmetric cone
193	A direct formulation for sparse PCA using semidefinite programming Alexandre d’Aspremont Department of Electrical Engineering and Computer Science University of California, Berkeley, CA 947 Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:28 Algebra Linear algebra Mathematics Matrix theory Multivariate statistics Numerical linear algebra Operations research Sparse PCA Semidefinite programming Principal component analysis Matrix Singular value decomposition
194	Piazza Stats • • • Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-06 14:56:29 Software engineering Computing Computer programming Boolean algebra Data types Concurrent programming languages Object-oriented programming languages Boolean data type Boolean expression ALGOL 68 Java Const
195	Microsoft Word - Becta article AO V2.doc Add to Reading List Source URL: www.adrianoldknow.org.uk Language: English - Date: 2008-02-28 14:56:38 Software Mathematical software Application software Graphing calculators Programmable calculators Computer algebra systems Office equipment Z80 TI-Nspire series TI-84 Plus series Software calculator Texas Instruments
196	Debugging in REDUCE H. Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustrasse 7 Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:25 Software engineering Computer programming Subroutines Lisp For loop Return statement ALGOL 68 Foreach loop Recursion Parameter Statement Mouse
197	Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Working Group Add to Reading List Source URL: cadgme.ms.sapientia.ro Language: English - Date: 2016-04-22 07:19:59 Hungarian minority in Romania Miercurea Ciuc Sapientia University Geography of Romania Mathematics education Trgu Mure Mathematics Mathematical software Geometry Counties of Romania Romania
198	Lineare Algebra Endliche Arithmetik Walter Gander ETH Z¨ urich Add to Reading List Source URL: www.cvg.ethz.ch Language: English - Date: 2015-06-05 11:10:36 Computer arithmetic Mathematics Arithmetic Mathematical analysis Floating point IEEE 754-1985 Single-precision floating-point format Double-precision floating-point format Denormal number Rounding Pi Precision
199	Superscalar programming 101 _parts 1-5_ Add to Reading List Source URL: www.quickthreadprogramming.com Language: English - Date: 2012-05-03 14:20:39 Computing Algebra Computer programming Parallel computing Multiplication Concurrent programming languages Numerical linear algebra Cilk Matrix Array programming OpenMP Array data structure

UPDATE